#Tue Jun 02 23:55:02 ART 2015
pref_first_startup=false
eclipse.preferences.version=1
